退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用增量设计和不变式的基于组件的验证
Bensalem, Saddek; Bozga, Marius; Legay, Axel; Nguyen, Thanh-Hung; Sifakis, Joseph; Yan, Rongjie;
机译:基于组件的定时系统的增量验证
机译:基于组件的模型驱动设计中的细化和验证
机译:基于组件的增量式构造和使用不变量的验证
机译:使用抽象和增量构造的离散事件系统的模块化验证和监督控制器设计。
机译:基于组件的管理系统构建的增量组合过程
机译:用于使用混合仿真和仿真进行增量设计验证的设计验证设备,以及使用该设备的设计验证方法
机译:用于混合仿真和仿真的增量设计验证的设计验证设备以及使用该方法的设计验证方法
机译:计算机程序产品,用于扩展电路设计的增量验证,以涵盖验证约束
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。